Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
641	Good-for-Games Automata versus Deterministic Automata. Denis Kuperberg1,2 1 University Michal Skrzypczak1 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2015-02-12 04:24:43 Science Philosophy of science Automata theory Finite-state machine Determinism
642	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-08 11:06:55 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
643	On Determinisation of History-Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-07 08:10:22 Computer science Finite-state machine Büchi automaton Deterministic pushdown automaton Automata theory Models of computation Theoretical computer science
644	Automata theory Hard decision problems Regular Cost Functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:27:58 Mathematics Semigroup theory Algebra Category theory Models of computation Regular language Monoid Finite-state machine Free monoid Formal languages Abstract algebra Automata theory
645	Regular temporal cost functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Regular expression Software engineering Computer science Automata theory Theoretical computer science Semigroup
646	Description of the thesis: Study of classes of regular cost functions. Denis Kuperberg 1 Brief Description The goal of the thesis was to study the recent theory of regular cost functions. Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-14 07:49:08 Semigroup theory Theoretical computer science Category theory Applied mathematics Semiautomaton Monoid Regular language Syntactic monoid Linear temporal logic Formal languages Automata theory Mathematics
647	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-12-02 12:39:02 Mathematics Automata theory Models of computation Theory of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Computability theory
648	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , Orna Kupferman1 1 Hebrew University of Jerusalem Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-09-05 08:28:57 Deterministic automaton Finite-state machine Ω-automaton Automata theory Theoretical computer science Computer science
649	AUTOMATA Thus far we have been concerned with two major topics: the discovery of an appropriate model for computation and an examination of the intrinsic properties of computation in general. We found that since Turing m Add to Reading List Source URL: www.cs.uky.edu Language: English - Date: 2001-02-14 12:47:25 Automata theory Computer science Computability theory Turing machine Finite-state machine Linear bounded automaton Decision problem Theory of computation Theoretical computer science Models of computation
650	Hyper-Minimization 2 in O(n ) Andrew Badr [removed] CIAA 2008 Add to Reading List Source URL: www.andrewbadr.com Language: English - Date: 2008-07-21 15:34:44 Equivalence class Presentation of a group Computer science Applied mathematics Deterministic finite automaton DFA minimization Automata theory Mathematics Regular language

UPDATE